$\forall$$b$:$\mathbb{B}$. ($b$ = ff) $\Leftarrow\!\Rightarrow$ ($\uparrow$($\neg_{b}$$b$))